6

A restricted shift completeness problem

Year:
2012
Language:
english
File:
PDF, 121 KB
english, 2012
10

Spectral synthesis in de Branges spaces

Year:
2015
Language:
english
File:
PDF, 459 KB
english, 2015
13

Subspaces of C∞

Year:
2015
Language:
english
File:
PDF, 828 KB
english, 2015
18

Synthesizable differentiation-invariant subspaces

Year:
2019
Language:
english
File:
PDF, 464 KB
english, 2019
19

Algorithms for computing minimal equivalent subformulas

Year:
2014
Language:
english
File:
PDF, 1.12 MB
english, 2014
41

Towards efficient MUS extraction

Year:
2012
File:
PDF, 390 KB
2012